Concurrent Systems – Bücher, CDs, DVDs und mehr

Wir konnten keine exakten Treffer zu Ihrer Suche nach "Concurrent Systems" finden. Könnten diese Produkte zu Ihrer Suche passen?

Concurrent Programming, Open Systems and Formal Methods

This Festschrift is dedicated to Gul Agha in recognition of his outstanding research and teaching impact. Gul Agha received his undergraduate degree at Caltech in 1977 and his A.M., M.S. and Ph.D. degrees…

lieferbar innerhalb 2-3 Wochen

Buch

Devs

Die Originalmusik zu »Devs« von Ben Salisbury, The Insects und Geoff Barrow ist als 2xCD oder 3xLP erhältlich. Die Doppel-CD ist in einem 6-Panel-Digipack verpackt.

lieferbar innerhalb von 3 Tagen

2 CDs

Devs (Original Series Soundtrack)

Die Originalmusik zu »Devs« von Ben Salisbury, The Insects und Geoff Barrow ist als 2xCD oder 3xLP erhältlich. Die Doppel-CD ist in einem 6-Panel-Digipack verpackt.

lieferbar innerhalb von 3 Tagen

3 LPs

Edison - Ein Leben voller Licht

Amerika kurz vor Beginn des 20. Jahrhunderts: Thomas Edison, einer der genialsten Erfinder aller Zeiten, steht kurz davor, zum ersten Mal einen ganzen Straßenzug in Manhattan mit elektrischem Licht zu erl…

Artikel am Lager

DVD

Automated Technology for Verification and Analysis

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October…

lieferbar innerhalb 2-3 Wochen

Buch

Rebeca for Actor Analysis in Action

This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers.Marjan Sirjani received her PhD in Computer Engineering from Shar…

lieferbar innerhalb 2-3 Wochen

Buch

Raymond Devillers, Eike Best
Petri Net Primer

Petri nets model concurrent and distributed systems where active components communicate through the production and absorption of various kinds of resources.Although the dynamic properties of such systems …

lieferbar innerhalb 2-3 Wochen

Buch

Automated Technology for Verification and Analysis

lieferbar innerhalb 2-3 Wochen

Buch

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.